Hume: Justice as Property

Horacio Spector Hume ’ s Theory of Justice

Hume developed an original and revolutionary theoretical paradigm for explaining the spontaneous emergence of the classic conventions of justice—stable possession, transference of property by consent, and the obligation to fulfill promises. In a scenario of scarce external resources, Hume’s central idea is that the development of the rules of justice responds to a sense of common interest that ...

Towards Automated Property Discovery within Hume

Hume is a Turing-complete programming language, designed to guarantee space and time bounds whilst still working on a high-level. Formal properties of Hume programs, such as invariants and transformations, have previously been verified using the temporal logic of actions (TLA). TLA properties are verified in an inductive way, which often requires lemma discovery or generalisations. Rippling was...

Hume, the New Hume, and Causal Connections

HUME STUDIES' Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the HUME STUDIES archive only for your personal, non-commercial use. Each copy of any part of a HUME STUDIES transmission must contain the same copyright notice that appears on th...

Justice as a Virtue

In sub-subunit 1.4.2, it is made clear that for Aristotle a crucial precondition of virtue is that actions must be intentional. For Aristotle, voluntary action—or intention—is required if praise or blame is to be appropriate. Praise and blame are important in that they testify to that which is virtuous in the polis, which substantiates the virtues among the citizenry and subsequent generations ...

Compromise as Precise Justice